Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Proof-checking Euclid

Année:
2019
Langue:
english
Fichier:
PDF, 3.63 MB
english, 2019
2

A Synthetic Proof of Pappus’ Theorem in Tarski’s Geometry

Année:
2017
Langue:
english
Fichier:
PDF, 1.03 MB
english, 2017
4

A case study in formalizing projective geometry in Coq: Desargues theorem

Année:
2012
Langue:
english
Fichier:
PDF, 275 KB
english, 2012
5

Towards a Certified Version of the Encyclopedia of Triangle Centers

Année:
2016
Langue:
english
Fichier:
PDF, 1.82 MB
english, 2016
6

A Graphical User Interface for Formal Proofs in Geometry

Année:
2007
Langue:
english
Fichier:
PDF, 896 KB
english, 2007
8

Formal SOS-Proofs for the Lambda-Calculus

Année:
2009
Langue:
english
Fichier:
PDF, 292 KB
english, 2009
9

The Area Method

Année:
2012
Langue:
english
Fichier:
PDF, 804 KB
english, 2012
11

HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY

Année:
2015
Langue:
english
Fichier:
PDF, 148 KB
english, 2015